Linear temporal logic - PDFSEARCH.IO - Document Search Engine

Linear temporal logic
Results: 458

#	Item
151	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:03 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
152	Propositional Modal Logic∗ John MacFarlane—Philosophy 142 February 15, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-02-15 14:21:03 Model theory Philosophical logic Non-classical logic Interpretation S5 Accessibility relation Logical connective Propositional calculus Linear temporal logic Logic Mathematical logic Modal logic
153	Edge state integrals on shaped triangulations Rinat Kashaev University of Geneva joint work with F.Luo and G. Vartanov arXiv:EMS/DMF Joint Mathematical Weekend Add to Reading List Source URL: projects.au.dk Language: English - Date: 2013-04-25 09:56:55 Physics Operator theory Mathematical analysis Conformal field theory Lie algebras Linear temporal logic Μ operator Symbol Logarithm Mathematics
154	PDF Document Add to Reading List Source URL: upsilon.cc Language: English - Date: 2015-01-01 06:26:54 Mathematics Interpretation Structure Symbol Linear temporal logic Golden ratio base Model theory Metalogic Logic
155	1. Thanks to organizers for the invitation. 2. The first part of the work is joint with Kazuto Yoshimura from JAIST. Reductions in computability theory from a constructive point of view Add to Reading List Source URL: math.andrej.com Language: English - Date: 2014-07-19 08:49:25 Functions and mappings Function Entailment Universal property Μ operator Linear temporal logic Mathematics Logic Mathematical logic
156	CRITICAL THRESHOLDS IN 1D EULER EQUATIONS WITH NONLOCAL FORCES ´ A. CARRILLO, YOUNG-PIL CHOI, EITAN TADMOR, AND CHANGHUI TAN JOSE Abstract. We study the critical thresholds for the compressible pressureless Euler equati Add to Reading List Source URL: www.cscamm.umd.edu Language: English - Date: 2014-11-06 22:01:57 Distribution Functional analysis Dirac delta function Siméon Denis Poisson Euler equations Spectral theory of ordinary differential equations Linear temporal logic Mathematical analysis Generalized functions Fourier analysis
157	ASDEX Upgrade Relaxation to Neoclassical Flow Equilibrium in gyrokinetic theory and gyrofluid computation B. Scott Add to Reading List Source URL: www-jt60.naka.jaea.go.jp Language: English - Date: 2015-03-27 00:21:18 Introductory physics Fusion power Pinch Momentum Linear temporal logic Defining equation Physics Physical quantities Conservation laws
158	Revising Beliefs on the Basis of Evidence James P. Delgrande School of Computing Science Simon Fraser University Burnaby, B.C., Canada V5A 1S6 Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:44:27 Formal languages Model theory Propositional calculus Belief revision Interpretation Entailment Modal logic Function Linear temporal logic Logic Mathematics Philosophical logic
159	Electronic Notes in Theoretical Computer ScienceURL: http://www.elsevier.nl/locate/entcs/volume83.html 32 pages Secure Protocol Composition Anupam Datta 1 Ante Derek 1 John C. Mitchell 1 Computer Science Depar Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2004-05-03 19:17:14 Temporal logic Model theory Propositional calculus Mathematical logic Interpretation Substitution Well-formed formula Logic Formal languages Linear temporal logic
160	Prolegomenon to a Theory of Conservative Belief Revision James P. Delgrande Abhaya C. Nayak Maurice Pagnucco∗ School of CSE School of Computing Science Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2003-09-08 16:38:27 Knowledge representation Interpretation Constructible universe Entailment Linear temporal logic Μ operator Logic Model theory Belief revision

UPDATE